mutex for process synchronization in c